Biblioteca Dr. Antonio Monteiro · Catálogo | |
00 | General | ||
00A | General and miscellaneous specific topics | ||
00A30 | Philosophy of mathematics [See also 03A05] | ||
03 | Mathematical logic and foundations | ||
03-01 | Instructional exposition (textbooks, tutorial papers, etc.) | ||
03-03 | Historical | ||
03A05 | Philosophical and critical {For philosophy of mathematics, see also 00A30} | ||
03F | Proof theory and constructive mathematics | ||
03F40 | Gödel numberings in proof theory |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com